function get_text_width(text) {
	var w = 0;
	for (var i = 0; i < text.length; i++) {
		if (text[i] > 'z') {
			w += 2;
		} else {
			w += 1;
		}
	}
	return w;
}

function pad(text, width) {
	var tw = get_text_width(text);
	tw = width - tw;
	for (var i = 0; i < tw; i++) {
		text += '&nbsp;&nbsp;';
	}
	return text;
}
